#!/bin/bash
#

./configure \
	--prefix=${1} \
	--disable-shared \
	--enable-static \
	--with-gmp=${1} \
	|| exit 1

make -j2 && \
make install || exit 1
